Перевод: с английского на все языки

со всех языков на английский

auxiliary logic

См. также в других словарях:

  • LOGIC — (Heb. חָכְמַת הַדִּבּוּר or מְלֶאכֶת הַהִגַּיוֹן), the study of the principles governing correct reasoning and demonstration. The term logic, according to Maimonides, is used in three senses: to refer to the rational faculty, the intelligible in… …   Encyclopedia of Judaism

  • logic — The science of reasoning, or of the operations of the understanding which are subservient to the estimation of evidence. The term includes both the process itself of proceeding from known truths to unknown, and all other intellectual operations,… …   Black's law dictionary

  • logic — The science of reasoning, or of the operations of the understanding which are subservient to the estimation of evidence. The term includes both the process itself of proceeding from known truths to unknown, and all other intellectual operations,… …   Black's law dictionary

  • Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… …   History of philosophy

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Characteristica universalis — Universal characteristic redirects here. For the concept of the three universal characteristics in Buddhism, see Three marks of existence. The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal… …   Wikipedia

  • computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… …   Universalium

  • Natural language — This article is about natural language in neuropsychology and linguistics. For natural language in computer systems, see Natural language processing. Neuropsychology …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»